Nuprl Definition : rec def
13,42
postcript
pdf
rec(
x
.
A
(
x
)) is Primitive
latex
Up
core
1
,
core
1
origin